$\forall$$g$:OGrp, $a$, $b$, $c$:$\mid$$g$$\mid$. ($a$ $<$ $b$) $\Leftarrow\!\Rightarrow$ (($c$ $\ast$ $a$) $<$ ($c$ $\ast$ $b$))